data Store s a = Store (s -> a) s